A diachronic semantics for inexact reference.
نویسندگان
چکیده
منابع مشابه
Exploring Diachronic Lexical Semantics with JeSemE
Recent advances in distributional semantics combined with the availability of large-scale diachronic corpora offer new research avenues for the Digital Humanities. JESEME, the Jena Semantic Explorer, renders assistance to a non-technical audience to investigate diachronic semantic topics. JESEME runs as a website with query options and interactive visualizations of results, as well as a REST AP...
متن کاملA non-standard Semantics for Inexact Knowledge with Introspection
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidian. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We state a non-standard semantics for modal logic which is shown to be...
متن کاملA reference model for interaction semantics
Understanding the issue of semantic interoperability will be key in the design of future IoT-devices and cyber physical systems. In this article, we introduce a reference model for the interaction semantics of networking systems to provide the basis for such an understanding. The notions of system, function, information, action, event, interaction, process and meaning are defined in a well suit...
متن کاملA New Inexact Inverse Subspace Iteration for Generalized Eigenvalue Problems
In this paper, we represent an inexact inverse subspace iteration method for computing a few eigenpairs of the generalized eigenvalue problem Ax = Bx [Q. Ye and P. Zhang, Inexact inverse subspace iteration for generalized eigenvalue problems, Linear Algebra and its Application, 434 (2011) 1697-1715 ]. In particular, the linear convergence property of the inverse subspace iteration is preserved.
متن کاملReference Attribute Grammars for Metamodel Semantics
While current metamodelling languages are well-suited for the structural definition of abstract syntax and metamodelling platforms like the Eclipse Modelling Framework (EMF) provide various means for the specification of a textual or graphical concrete syntax, techniques for the specification of model semantics are not as matured. Therefore, we propose the application of reference attribute gra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1983
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870221